FROM ubuntu

# RUN sed -i 's/archive.ubuntu.com/mirrors.ustc.edu.cn/g' /etc/apt/sources.list
# RUN sed -i 's/security.ubuntu.com/mirrors.ustc.edu.cn/g' /etc/apt/sources.list
RUN apt update && apt install g++ -y && apt install python2.7 -y && apt install python3 -y && apt install openjdk-8-jdk -y
RUN apt install haskell-platform -y
RUN apt-get install curl build-essential m4 zlib1g-dev libssl-dev ocaml ocaml-native-compilers opam -y
RUN apt install rustc -y
RUN apt install git
RUN git clone https://github.com/samshadwell/TrumpScript.git /root/TrumpScript
# RUN sh -c "echo \"alias python3=python3.7\" >> /root/.bashrc"
RUN sh -c "echo \"export PATH=$PATH:/root/TrumpScript/bin\" >> /root/.bashrc"
RUN sh -c "sed -i 's/python3/python3.7/' /root/TrumpScript/bin/TRUMP" 
# RUN sh -c 'echo "ulimit -s unlimited" >> ~/.bashrc'
# RUN sh -c 'echo "* hard stack unlimited" >> /etc/security/limits.conf'
# RUN sh -c 'echo "* soft stack unlimited" >> /etc/security/limits.conf'
# RUN sh -c 'echo "root hard stack unlimited" >> /etc/security/limits.conf'
# RUN sh -c 'echo "root soft stack unlimited" >> /etc/security/limits.conf'

